The marriage of effects and monads